From 9fd4c697e177eb506f7145351942726a6d79eb38 Mon Sep 17 00:00:00 2001 From: "kaf24@scramble.cl.cam.ac.uk" Date: Tue, 21 Dec 2004 09:51:09 +0000 Subject: [PATCH] bitkeeper revision 1.1159.1.493 (41c7f20ddOk-npO0TN0HEnD6Fu6LGg) Fix debug build. --- xen/arch/x86/vmx_vmcs.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/xen/arch/x86/vmx_vmcs.c b/xen/arch/x86/vmx_vmcs.c index 755d481538..b7e71c935d 100644 --- a/xen/arch/x86/vmx_vmcs.c +++ b/xen/arch/x86/vmx_vmcs.c @@ -195,10 +195,10 @@ void vmx_do_launch(struct exec_domain *ed) spin_lock(&d->page_alloc_lock); list_ent = d->page_list.next; - mpl2e = (l2_pgentry_t *) map_domain_mem(pagetable_val(ed->mm.monitor_table)); - ASSERT(mpl2e[PERDOMAIN_VIRT_START >> L2_PAGETABLE_SHIFT]); + mpl2e = (l2_pgentry_t *)map_domain_mem(pagetable_val(ed->mm.monitor_table)); - for (i = 0; list_ent != &d->page_list; i++ ) { + for ( i = 0; list_ent != &d->page_list; i++ ) + { pfn = list_entry(list_ent, struct pfn_info, list) - frame_table; ed->mm.min_pfn = min(ed->mm.min_pfn, pfn); ed->mm.max_pfn = max(ed->mm.max_pfn, pfn); -- 2.30.2